A Bibliography of Publications in Theoretical Computer Science : 2000–2004
نویسنده
چکیده
(0,±1) [122]. (1 + 1) [869]. (1 + ) [1136]. (2 + p) [649]. (2− 2/(k + 1)) [1116]. (3 − 1) [1618]. (A,B) [1278]. (h, k) [1755]. + [1780, 1272]. 1 [626, 1701]. 1/ [1889]. 2 [1609, 1443, 2146, 2105, 1804, 1687, 452, 1587, 1376, 1399, 1795, 650]. 2≤ω [2046]. 2 [1513, 1618]. 2k [2207]. 2× 2× 2×J [2145]. 3 [652, 1443, 1979, 1128, 615, 1866, 2004, 674]. 4 [1699]. 5 [1380]. 50 [2055]. 8 [37, 1863]. 8× 8 [15]. = k [1460]. ∗ [2089]. , [2178]. 0 [1374]. lgol [1733]. α, β [385]. A⊗ x = B ⊗ y [1272]. AX −XB = C [530]. b [78]. β [2037]. C [1005, 606]. d [1357]. δ [1938]. E [254]. `1 [1972]. [1820]. ∃ [403]. ∀∃ [857]. H [2044, 945, 1946, 1755]. K [240, 1666, 6, 2108, 516, 1116, 128, 945, 323, 213, 1392, 1354, 210, 2109, 1755, 453, 1444, 776, 823, 604]. l [680]. L(A) = L(B) [374]. L1/L∞ [1274]. λ [340, 1905, 808, 1769, 690, 810, 1712, 727, 166, 803]. ≤ k [1460]. M [1380, 564, 1853]. M − 1 [1380]. μ [496, 1169, 1177, 267]. N [446, 213, 159, 2218]. 6= [191]. O(n) [1356]. O(n logn) [1568]. Ω [426, 2209, 2045, 58, 2091, 1295, 1829]. ⊕ [2195]. P [6, 3, 95, 2092, 77]. P (n)/n [818]. π [2117, 902]. p× p [1214]. Q [448, 1971]. qAC[2] [565]. R [447]. R [1141]. R1 [1150]. R1 ⊆ R ⊆ R2 [1150]. R2 [1150]. σ [2009, 8]. t [1759, 1460]. τ [175]. Z [1277]. Z [579, 2064]. Z [1229]. Z [978, 1972, 1618]. Zm [66].
منابع مشابه
A Complete Bibliography of Publications in Chicago Journal of Theoretical Computer Science
29]. Accuracy [34]. Algorithms [18, 15, 6]. Approximating [12]. Arbitrary [29]. Arithmetic [16]. ATM [7]. Atomicity [9]. Automorphisms [21]. Balancing [35]. Bibliography [20]. Boolean [2]. Bounds [28, 29]. Branching [16]. Channel [10]. Characterizing [33]. Checkable [4]. Checking [37]. Circuits [27, 37, 16]. Classes [33]. Clock [34]. Closed [1]. Coding [31]. Coloring [32]. Combinatorics [15]. C...
متن کاملA Procosii Project Final Report: Esprit Basic Research Project 7071
An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A compre...
متن کاملVisualising and Mining Digital Bibliographic Data
Finding related publications and their correct bibliographical data is getting harder and harder due to the mass of unrequested information and the decreasing precision of many information providers. The DBLP Computer Science Bibliography is a service used by thousands of computer scientists which provides fundamental support for scientists searching for publications or other scientists in simi...
متن کامل